441. Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings
Author: Workshop on Computer Science Logic, )4th, 0991, Heidelberg, Germany(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science - Congresses,، Logic, Symbolic and mathematical - Congresses
Classification :
QA
75
.
5
.
W624
1990
442. Concepts & Images
Author: by Arthur L. Loeb.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer vision.,Logic, Symbolic and mathematical.,Mathematical physics.,Mathematics.,Visualization.
443. Conceptual models in mathematics: sets, logic and probability
Author: Hirst, Keith Edwin.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Set theory,، Logic, Symbolic and mathematical,، Probabilities
Classification :
QA
248
.
H55
444. Conditional and preferential logics
Author: Gian Luca Pozzato
Library: Library of Urmia University of Technology (West Azarbaijan)
Subject: Logic, Symbolic and mathematical,Proof theory
Classification :
QA
,
9
,.
P65
,
2010
445. Conditional and preferential logics
Author: / Gian Luca Pozzato
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic, Symbolic and mathematical.,Proof theory.
Classification :
QA9
,.
P65
,
2010
446. Conditional and preferential logics
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and mathematical. ; Proof theory. ;
447. Conditional logic in expert systems
Author: edited by I.R. Goodman ... ]et al.[
Library: Central Library and Documentation Center (Kerman)
Subject: ، Expert systems )Computer science(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
76
.
E95
C66
1991
448. Conference in Mathematical Logic, London '70
Author: Edited by Wilfrid Hodges
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical
Classification :
QA
9
.
C6
1970
449. Conference in Mathematical Logic, London '70
Author: Edited by Wilfrid Hodges
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Logic, Symbolic and mathematical
Classification :
QA
1
.
L4
v
.
255
450. Conference in Mathematical Logic, London 70
Author: Conference in Mathematical Logic, Bedford College
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Logic, Symbolic and mathematical
Classification :
QA
3
.
L28
no
.
255
451. Conference in Mathematical Logic, London '70
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical
Classification :
QA
3
.
L28
no
.
255
452. Conference in Mathematical Logic London' 70
Author: edited by Wilfrid Hodges
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical
Classification :
QA
3
.
L28
Vol
.
255
453. Constraints in computational logics : first International Conference, CCL'94, Munich, Germany, September 7-9, 1994 : proceedings
Author: Jean-Pierre Jouannaud )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
845
454. Constructibility and mathematical existence /
Author: Charles S. Chihara.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Constructive mathematics.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Logique symbolique et mathématique.,Mathématiques constructives.,Mathématiques-- Philosophie.,Constructieve wiskunde.,Constructive mathematics.,Filosofia da matemática.,Filosofie.,Logic, Symbolic and mathematical.,Lógica matemática.,Matemática construtiva.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Mathematics-- Philosophy.,Ontologie (filosofie)
Classification :
QA8
.
4
.
C45
1990eb
455. Constructive order types
Author: Crossley, John N.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
C795
456. Constructive order types
Author: Crossley, John N
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
C795
457. Continuous model theory
Author: Chang, Chen Chung
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
1
.
A626
no
.
58
458. Continuous model theory
Author: / by Chen Chung Chang, H. Jerome Keisler
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Logic, symbolic and mathematical
Classification :
QA9
.
C48
459. Contributions to non-standard analysis
Author: Symposium on Non-standard Analysis, 0791, Oberwolfach, Ger.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Nonstandard mathematical analysis-- Congresses,، Logic, Symbolic and mathematical-- Congresses
Classification :
QA
300
.
S973
1970
460. Contributions to non-standard analysis
Author: Symposium on Non-standard Analysis, Oberwolfach, Ger.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Mathematical analysis, nonstandard-Congresses,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
300
.
S973
1970
